model checking câu

Câu ví dụ

thêm câu ví dụ:   1  2  3


1. Formal verification of models, model checking
   Các vấn đề của Formal Methods, Model Checking
2. One promising technique is known as model checking.
   Một kiểm thử đặc điểm kỹ thuật được gọi là một kế hoạch kiểm thử.
3. The 2007 Turing Award was awarded to Edmund Clarke, E. Allen Emerson and Joseph Sifakis for their work on model checking.
   2007 Edmund M. Clarke,E. Allen Emerson và Joseph Sifakis Phát triển kiểm tra mô hình Model-Checking.
4. On the Construction of Model Checking.
   Sơ Lược Về Model Checking
5. based on model checking
   Sơ Lược Về Model Checking